Seamless Development with the Eiffel Method
نویسنده
چکیده
Traditional software engineering techniques have introduced damaging gaps between successive activities of software development. The Eiffel method, with its emphasis on full lifecycle coverage and its reliance on the central technique of Design by Contract as a unifying theme for all software activities, provides an integrated approach to activities of analysis, design, implementation and maintenance. The tutorial will introduce the essential elements of the method and show the new paradigm of software development made possible by Eiffel’s emphasis on seamlessness and reversibility. Biography: BERTRAND MEYER is President of Interactive Software Engineering and an adjunct Professor at Monash University. He is known as the author of several reference books including “Object-Oriented Software Construction” and the principal developer of the Eiffel method.
منابع مشابه
A Seamless Eiffel-Based Refinement Calculus for Object-Oriented Systems
The Eiffel language [4] can be used throughout the object-oriented software development process, for both specification and implementation. We outline work-in-progress on developing a refinement calculus for producing provably correct Eiffel programs from Eiffel specifications. We propose extensions to the calculus by integrating abstract data types as a front-end language that can be used for ...
متن کاملFrom Z to BON/Eiffel
It is shown how to make a transition from the Z formal notation [3] to the Business Object Notation (BON) [4]. It is demonstrated that BON has the expressive power of Z, with the additional advantages of object-orientation and a supporting seamless development method. The transition is illustrated for some widely used Z constructs. The translation lays the groundwork for a semi-automated tool f...
متن کاملSkala University of West Bohemia
The use of various forms of contracts, like preconditions, are increasingly receiving more attention within Microsoft. This talk describes the design of Spec#, an experimental superset of the language C#, including preand postconditions and object invariants. Spec# gives rise to dynamic checks of contracts. The contracts can also be checked statically using the automatic checker Boogie. The tal...
متن کاملDetermination of the Optimal Reduction Ratio for Least Springback during Cold Drawing of Seamless Tubes
Cold drawing process is one of the most used metals forming processes in industries for forming seamless tubes. This process of plastic deformation of metals occurs below the recrystallization temperature and is generally performed at room temperature. When metal is cold worked, upon the release of forming force, the springback occurs. In this paper, the springback effect of the seamless tube t...
متن کاملhy your next project should use
O ver its lO-yem-life Eiffel has evolved into one of the most usable software development environments available today. Other articles in this special section summarize its theoretical contributions; in this essay I will address a more mundane subject: how practical software projects can benefit, today, from the power of Eiffel. In so doing I will largely rely on published assessments from both...
متن کامل